w{-}m($w$; $i$; $t$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$1of(2of(2of(2of(2of(2of($w$))))))($i$,$t$)